This book covers categories, homological algebra and sheaves in a systematic and exhaustive manner starting from scratch, ...